A proof of topological completeness for S4 in (0, 1)
نویسندگان
چکیده
منابع مشابه
A proof of topological completeness for S4 in (0, 1)
The completeness of the modal logic S4 for all topological spaces as well as for the real line R, the n-dimensional Euclidean space R and the segment (0, 1) etc. (with 2 interpreted as interior) was proved by McKinsey and Tarski in 1944. Several simplified proofs contain gaps. A new proof presented here combines the ideas published later by G. Mints and M. Aiello, J. van Benthem, G. Bezhanishvi...
متن کاملTopological completeness of extensions of S4
Perhaps the most celebrated topological completeness result in modal logic is the McKinseyTarski theorem that if we interpret modal diamond as topological closure, then S4 is complete for the real line or indeed any dense-in-itself separable metrizable space [10]. This result was proved before relational semantics for modal logic was introduced. In the last 15 years, utilizing relational semant...
متن کاملA New Proof of Completeness of S4 with Respect to the Real Line
It was proved in McKinsey and Tarski [7] that every finite wellconnected closure algebra is embedded into the closure algebra of the power set of the real line R. Pucket [10] extended this result to all finite connected closure algebras by showing that there exists an open map fromR to any finite connected topological space. We simplify his proof considerably by using the correspondence between...
متن کاملCompleteness of second-order propositional S4 and H in topological semantics
We add propositional quantifiers to the propositional modal logic S4 and to the propositional intuitionsitic logic H, introducing axiom schemes that are the natural analogs to axiom schemes typically used for first-order quantifiers in classical logic. We show that the resulting logics are sound and complete for a topological semantics extending, in a natural way, the topological semantics for ...
متن کاملA topological completeness theorem
We prove a topological completeness theorem for innnitary geometric theories with respect to sheaf models. The theorem extends a classical result of Makkai and Reyes, stating that any topos with enough points has an open spatial cover. We show that one can achieve in addition that the cover is connected and locally connected.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2005
ISSN: 0168-0072
DOI: 10.1016/j.apal.2004.10.010